ATC.UNF[MRS,LSP]6 - www.SailDart.org

perm filename ATC.UNF[MRS,LSP]6 blob sn#662417 filedate 1982-06-09 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON JUNE 9, 1982, AT 10:24 AM

;Loading DEFSTRUCT 233
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 303. (LAP |LAMBDA-OPR MACRO| SUBR)) 
	(COMMENT **FASL** 332. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 360. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 392. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 430. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 468. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 517. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 572. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 621. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 675. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 713. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 739. (LAP |BUTLAST MACRO| SUBR)) 
	(COMMENT **FASL** 770. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 810. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 846. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 911. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 961. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1018. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1078. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1113. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1248. (LAP |CONDCARPUSH MACRO| SUBR)) 
	(COMMENT **FASL** 1310. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1389. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1406. (LAP |NORMALIZE-CONNECTIVE MACRO| SUBR)) 
	(COMMENT **FASL** 1453. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 1631. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1632. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1642. (LAP |SETUPQUANTS MACRO| SUBR)) 
	(COMMENT **FASL** 1691. (LAP |ORDER-PATHKEYS MACRO| SUBR)) 
	(COMMENT **FASL** 1717. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 1975. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 2039. (LAP |NORMALIZE-DETERMINER MACRO| SUBR)) 
	(COMMENT **FASL** 2086. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 2274. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2317. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2344. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2404. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2483. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2653. (LAP LT-TYPE* SUBR)) 
	(COMMENT **FASL** 2799. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 2823. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 2840. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 2867. (LAP |INITIALIZE-GENVARINDEX MACRO| SUBR)) 
	(COMMENT **FASL** 2876. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3009. (LAP |TERMSORT-VARANGE MACRO| SUBR)) 
	(COMMENT **FASL** 3040. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3228. (LAP |UNARY-ATOMIC MACRO| SUBR)) 
	(COMMENT **FASL** 3275. (LAP |NOPAREN-DISJUNCT MACRO| SUBR)) 
	(COMMENT **FASL** 3284. (LAP |DPYLIST-ROLINK MACRO| SUBR)) 
	(COMMENT **FASL** 3352. (LAP |MAKE-↑↓-[-ATOM MACRO| SUBR)) 
	(COMMENT **FASL** 3384. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3416. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4123. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4154. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4192. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4291. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4335. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4362. (LAP |PRINSOURCECHUNK MACRO| SUBR)) 
	(COMMENT **FASL** 4371. (LAP |GETSBQLINE MACRO| SUBR)) 
	(COMMENT **FASL** 4446. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4474. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4538. (LAP |PRINSUBQUANT1 MACRO| SUBR)) 
	(COMMENT **FASL** 4571. (LAP |PRINSUBQUANT2 MACRO| SUBR)) 
	(COMMENT **FASL** 4604. (LAP |GETQUANTLINE MACRO| SUBR)) 
	(COMMENT **FASL** 4655. (LAP |GETλ-LINE MACRO| SUBR)) 
	(COMMENT **FASL** 4704. (LAP |MAXVARIABLENGTH MACRO| SUBR)) 
	(COMMENT **FASL** 4739. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 4748. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 5012. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 5289. (LAP PRINλ-EXPR SUBR)) 
	(COMMENT **FASL** 5340. (LAP TAB SUBR)) 
	(COMMENT **FASL** 5370. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 5386. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5416. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5445. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5498. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5549. (LAP |ADD-NEWLINK MACRO| SUBR)) 
	(COMMENT **FASL** 5597. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5622. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 5713. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 5786. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 5829. (LAP |1ST-PROCESS-↑-MATRIX MACRO| SUBR)) 
	(COMMENT **FASL** 5885. (LAP |PROCESS-↑-MATRIX MACRO| SUBR)) 
	(COMMENT **FASL** 5939. (LAP |COLLECT-IMAGES MACRO| SUBR)) 
	(COMMENT **FASL** 5995. (LAP |MERGED-PKLS MACRO| SUBR)) 
	(COMMENT **FASL** 6022. (LAP |SETUP-λ-EXPR MACRO| SUBR)) 
	(COMMENT **FASL** 6090. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 6123. (LAP |ANALYZE-ADVERBIALIZATION MACRO| SUBR)) 
	(COMMENT **FASL** 6190. (LAP |INST-KEYS MACRO| SUBR)) 
	(COMMENT **FASL** 6252. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 6257. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 6560. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 6631. (LAP |GET-Q-OP MACRO| SUBR)) 
	(COMMENT **FASL** 6688. (LAP |↑-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6715. (LAP |λ-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6742. (LAP |*-OR-↑-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6768. (LAP |*-OR-C-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6794. (LAP |C-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6821. (LAP |2:9-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6858. (LAP |NUMERAL-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 6895. (LAP |λ↑-RAISE-CC-OP MACRO| SUBR)) 
	(COMMENT **FASL** 6928. (LAP |RAISE-CC MACRO| SUBR)) 
	(COMMENT **FASL** 6984. (LAP |RAISE-CC-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7017. (LAP |GET-BASE-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7065. (LAP |GET-S&S-KEY MACRO| SUBR)) 
	(COMMENT **FASL** 7121. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 7630. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 7923. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 9874. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 9916. (LAP |GET-PK-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 9959. (LAP |GET-MERGEKEYS MACRO| SUBR)) 
	(COMMENT **FASL** 10015. (LAP |EXPAND-MERGED-PKEYLISTS MACRO| SUBR)) 
	(COMMENT **FASL** 10072. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 10269. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 10319. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 10349. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 10393. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 10530. (LAP |MAKE-↑-MARKER MACRO| SUBR)) 
	(COMMENT **FASL** 10593. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 10744. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 10777. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 10822. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 10898. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 10914. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 10951. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 10959. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 10970. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 11205. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 11270. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 11275. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 11277. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 11288. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 11294. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 11313. (LAP |CONDENSE-RL-KEYLISTS MACRO| SUBR)) 
	(COMMENT **FASL** 11352. (LAP SOME-DUPLICATE-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 11440. (LAP |ATOM-QUASI-UNSUBST MACRO| SUBR)) 
	(COMMENT **FASL** 11548. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 11563. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 12181. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 12296. (LAP |CC-KEY-ROLINK-NUMBER MACRO| SUBR)) 
	(COMMENT **FASL** 12347. (LAP |INITSTR= MACRO| SUBR)) 
	(COMMENT **FASL** 12400. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 12476. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 12525. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 12566. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 12684. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 12732. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 12773. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 12811. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 12848. (LAP |NEXTLETTER MACRO| SUBR)) 
	(COMMENT **FASL** 12881. (LAP KEYNUMBER SUBR)) 
	(COMMENT **FASL** 12903. (LAP |LISTCOMPS MACRO| SUBR)) 
	(COMMENT **FASL** 12935. (LAP |EXPOUND-ANALYSIS-MODULE-1 MACRO| SUBR)) 
	(COMMENT **FASL** 13052. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 13119. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 13427. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 13450. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 13517. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 13685. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 13863. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 13887. (LAP GET-XPDN-COMMAND SUBR)) 
	(COMMENT **FASL** 13891. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 14130. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 14253. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 14435. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
	(COMMENT **FASL** 14501. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 14677. (LAP COUNT-LINKS&LEAVES SUBR)) 
	(COMMENT **FASL** 14764. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 15066. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 15176. (LAP LT-EVAL SUBR)) 
	(COMMENT **FASL** 15317. (LAP WEAKEST-STATUS SUBR)) 
	(COMMENT **FASL** 15336. (LAP SORT-MEMBER SUBR)) 
	(COMMENT **FASL** 15349. (LAP SORT-EXCLUSIVE SUBR)) 
	(COMMENT **FASL** 15420. (LAP |ES-FILTER MACRO| SUBR)) 
	(COMMENT **FASL** 15446. (LAP LT-GROSSEVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  15464. WORDS)